smallest transitive set

最小可迁集